Planar Integer Linear Programming is NC Equivalent to Euclidean GCD

نویسندگان

  • David Shallcross
  • Victor Y. Pan
  • Yu Lin-Kriz
چکیده

It is not known if planar integer linear programming is P-complete or if it is in NC, and the same can be said about the computation of the remainder sequence of the Euclidean algorithm applied to two integers. However, both computations are NC equivalent. The latter computational problem was reduced in NC to the former one by Deng [Mathematical Programming: Complexity and Application, Ph.D. dissertation, Stanford University, Stanford, CA, 1989; Proc. ACM Symp. on Parallel Algorithms and Architectures, 1989, pp. 110–116]. We now prove the converse NC-reduction.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD

We show NC-reduction of integer linear programming with two variables to the evaluation of the remainder sequence arising in the application of the Euclidean algorithm to two positive integers. Due to the previous result of Deng, this implies NC-equivalence of both of these problems, whose membership in NC, as well as P-completeness, remain unresolved open problems.

متن کامل

Half−GCD, Fast Rational Recovery, and Planar Lattice Reduction

Over the past few decades several variations on a "half GCD" algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer case algorithm design and proof of correctness are complicated by the effect of carries. This paper will demonstrate a variant with a relatively simple proof of correctness. We then apply this to rational recovery for a l...

متن کامل

Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings

We prove lower bounds for the complexity of deciding several relations in imaginary, normEuclidean quadratic integer rings, where computations are assumed to be relative to a basis of piecewise-linear operations. In particular, we establish lower bounds for deciding coprimality in these rings, which yield lower bounds for gcd computations. In each imaginary, norm-Euclidean quadratic integer rin...

متن کامل

Lecture : Integer Programming , Spring 2010

2 Euclidean Algorithm and Hermite Normal Form 9 2.1 Sizes of Rational Numbers and Polynomial Complexity . . . . . . . . . . . . 9 2.2 Computing the GCD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Computing the Hermite Normal Form . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Lattices and the Hermite Normal Form . . . . . . . . . . . . . . . . . . . . . 15 2.5 Dual ...

متن کامل

A bi-level linear programming problem for computing the nadir point in MOLP

Computing the exact ideal and nadir criterion values is a very ‎important subject in ‎multi-‎objective linear programming (MOLP) ‎problems‎‎. In fact‎, ‎these values define the ideal and nadir points as lower and ‎upper bounds on the nondominated points‎. ‎Whereas determining the ‎ideal point is an easy work‎, ‎because it is equivalent to optimize a ‎convex function (linear function) over a con...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 27  شماره 

صفحات  -

تاریخ انتشار 1998